$\forall$$x$, $y$:$\mathbb{N}$$_{\mbox{\scriptsize $<$3}}$. rps($x$;$y$) $\vee$ $x$ $=$ $y$ $\in$ $\mathbb{Z}$ $\vee$ rps($y$;$x$)